quartz: Get default font size from user font
authorJesse van den Kieboom <jessevdk@gmail.com>
Sun, 24 Aug 2014 12:08:57 +0000 (14:08 +0200)
committerJesse van den Kieboom <jessevdk@gmail.com>
Thu, 28 Aug 2014 18:02:20 +0000 (20:02 +0200)
commitb107c9f02cb717ff0714663c8e7ad6703cf09b24
treeccf5e244a551eadd80a4fd6f057419a263469eea
parent70e2a1bb220dad4b820f45f92f3736299db5bcf5
quartz: Get default font size from user font

https://bugzilla.gnome.org/show_bug.cgi?id=735321
gdk/quartz/gdkevents-quartz.c